81. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
82. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
83. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
84. Fundamental research in electrical engineering :
پدیدآورنده : Shahram Montaser Kouhsari, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electrical engineering, Congresses.,Electronics, Congresses.,Telecommunication, Congresses.,Electrical engineering.,Electronics.,TECHNOLOGY & ENGINEERING-- Mechanical.,Telecommunication.
رده :
TK7801
85. Fundamentals of Robotics Engineering
پدیدآورنده : by Harry H. Poole.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Science (General).
86. Global positioning systems, inertial navigation, and integration /
پدیدآورنده : Mohinder S. Grewal, Lawrence R. Weill, Angus P. Andrews.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Global Positioning System.,Inertial navigation.,Kalman filtering.,Global Positioning System.,GPS.,Inertial navigation.,Kalman filtering.,Kalman, Filtrage de.,Localisation par satellites, Systèmes de.,Navigation par inertie, Systèmes de.,Navigation par inertie.,TECHNOLOGY & ENGINEERING-- Remote Sensing & Geographic Information Systems.
رده :
G109
.
5
.
G74
2001eb
87. Guide to ambient intelligence in the IoT environment :
پدیدآورنده : Zaigham Mahmood, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ambient intelligence.,Internet of things.,Ambient intelligence.,Internet of things.
رده :
QA76
.
9
.
A48
G85
2019
88. Handbook of research on modern systems analysis and design technologies and applications /
پدیدآورنده : [edited by] Mahbubur Rahman Syed, Sharifun Nessa Syed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : System analysis, Handbooks, manuals, etc.,System design, Handbooks, manuals, etc.,COMPUTERS-- Software Development & Engineering-- Systems Analysis & Design.,System analysis.,System design.
رده :
T57
.
6
.
H3634
2009eb
89. Handbook of research on socio-technical design and social networking systems /
پدیدآورنده : Brian Whitworth, Aldo de Moor, [editors].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information technology-- Social aspects.,Internet-- Social aspects.,Online social networks.,COMPUTERS-- Information Technology.,Information technology-- Social aspects.,Internet-- Social aspects.,Online social networks.
رده :
HM742
.
H37
2009eb
90. Hands-on Docker for microservices with Python :
پدیدآورنده : Jamie Buelta.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Python (Computer program language),Software engineering.,Computer programming.,Python (Computer program language),Software engineering.
رده :
QA76
.
73
.
P98
91. Hardware/Software Co-Design
پدیدآورنده : edited by Giovanni Micheli, Mariagiovanna Sami.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer engineering.,Computer science.,Computer-aided design.,Software engineering.
92. Human-centered software engineering :
پدیدآورنده : edited by Ahmed Seffah, Jan Gulliksen, and Michel C. Desmarais.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Human-computer interaction.,Object-oriented programming (Computer science),Software engineering.,User interfaces (Computer systems),Conception participative (Conception des systèmes),Génie logiciel.,Interaction homme-machine (Informatique),Interfaces utilisateurs (Informatique),Logiciels-- Développement.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Social Aspects-- Human-Computer Interaction.,Human-computer interaction.,Human-computer interaction.,Informatique.,Object-oriented programming (Computer science),Object-oriented programming (Computer science),Software engineering.,Software engineering.,User interfaces (Computer systems)
رده :
QA76
.
9
.
H85
H852
2005eb
93. Human-computer interaction :
پدیدآورنده : Masaaki Kurosu (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
94. Hybrid parallel execution model for logic-based specification languages /
پدیدآورنده : Jeffrey J.P. Tsai, Bing Li.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer hardware description languages.,System design.,Computer hardware description languages.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,System design.
رده :
TK7885
.
7
.
T73
2001eb
95. Hydrology and floodplain analysis /
پدیدآورنده : Philip B. Bedient, Wayne C. Huber, Baxter E. Vieux.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Hydrology.,Hydrology.
رده :
GB661
.
2
.
B42
2013
96. ISO 9001: 2000 in brief /
پدیدآورنده : Ray Tricker and Bruce Sherring-Lucas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : ISO 9001 Standard.,Manufactures-- Quality control-- Evaluation.,Quality control-- Standards.,BUSINESS & ECONOMICS-- Quality Control.,ISO 9001 Standard.,Manufactures-- Quality control-- Evaluation.,Quality control-- Standards.,TECHNOLOGY & ENGINEERING-- Quality Control.
رده :
TS156
.
T74
2001eb
97. Industrial heat pump-assisted wood drying /
پدیدآورنده : Vasile Minea.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Heat pumps.,Lumber-- Drying-- Equipment and supplies.,Heat pumps.,Lumber-- Drying-- Equipment and supplies.,TECHNOLOGY & ENGINEERING / Technical & Manufacturing Industries & Trades
رده :
TS837
.
M526
2018
98. Industrial methods for the effective development and testing of defense systems /
پدیدآورنده : Panel on Industrial Methods for the Effective Test and Development of Defense Systems, Committee on National Statistics, Division of Behavioral and Social Sciences and Education, Board on Army Science and Technology, Division on Engineering and Physical Sciences, and National Research Council of the National Academies
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Industrial engineering-- Development-- Testing,Industrial engineering-- Statistical methods,Military research-- United States
رده :
T57
.
35
.
N38
2012
99. Industrial sensors and controls in communication networks :
پدیدآورنده : Dong-Seong Kim, Hoa Tran-Dang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Control theory.,Telecommunication systems-- Management.,Wireless sensor networks.,Control theory.,Telecommunication systems-- Management.,Wireless sensor networks.
رده :
TK7872
.
D48
K56
2019
100. Industry 4.0 :
پدیدآورنده : Kaushik Kumar, Divya Zindani and J. Paulo Davim.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Industrial engineering.,Industrial revolution.,Industrialization.,BUSINESS & ECONOMICS-- Economics-- General.,BUSINESS & ECONOMICS-- Reference.,Industrial engineering.,Industrial revolution.,Industrialization.
رده :
HD2329
